0
EUR
00,00*
Warenkorb EUR 00,00 *
    Erweiterte Suche
    Konto anlegen

    Formal Proofs – Bücher, LPs, Blu-ray Discs und mehr

    Wir konnten keine exakten Treffer zu Ihrer Suche nach "formal proofs" finden. Könnten diese Produkte zu Ihrer Suche passen?

    Ansicht:

    Robert Gilbert Henry,
    Formal Scientific Proof of the Existence of God via Calculus - Addendum

    Es geht um eine Ergänzung meines Hauptwerks mit ein paar sehr wichtigen Informationen u. a. Widerlegung der ZFC- und ZFU-Mengenlehre, und dem Unsinn des ÖRR.

    lieferbar innerhalb 2-3 Wochen
    Buch
    Aktueller Preis: EUR 13,99

    Divo G. Müller, Karin Hertzer
    Training für die Faszien - Die Erfolgsformel für ein straffes Bindegewebe

    Faszien durchziehen den Körper von Kopf bis Fuß und bilden ein körperweites Netzwerk. Sie sind an jeder Bewegung beteiligt und geben außerdem Struktur und Halt. So hängt es vor allem von der Spannung der …

    sofort lieferbar
    Buch
    Aktueller Preis: EUR 9,99

    Herbie Hancock (geb. 1940)
    Flood: Live In Japan (180g)

    »Flood« - Herbie Hancock (keyb); Bennie Maupin (sax, cl, fl, perc); Blackbird McKnight (g); Paul Jackson (b); Mike Clark (dr); Bill Summers (cga, perc) Die überaus erfolgreiche Tournee des Herbie Hanco…

    Artikel am Lager
    2 LPs
     
    Aktueller Preis: EUR 57,99

    Herbie Hancock (geb. 1940)
    Flood

    »Flood« - Herbie Hancock (keyb); Bennie Maupin (sax, cl, fl, perc); Blackbird McKnight (g); Paul Jackson (b); Mike Clark (dr); Bill Summers (cga, perc) Die überaus erfolgreiche Tournee des Herbie Hanco…

    lieferbar innerhalb 1-2 Wochen
    LP
     
    Aktueller Preis: EUR 49,99

    Charité Staffel 2

    Anni studiert während des Zweiten Weltkriegs Medizin an der Charité und ist überzeugt von der Rassen-Ideologie der Nazis. Sie erwartet freudig ein Kind des angesehenen Kinderarztes Dr. Artur Waldhausen. A…

    Artikel am Lager
    2 DVDs
     
    Aktueller Preis: EUR 19,99

    Charité Staffel 2 (Blu-ray)

    Anni studiert während des Zweiten Weltkriegs Medizin an der Charité und ist überzeugt von der Rassen-Ideologie der Nazis. Sie erwartet freudig ein Kind des angesehenen Kinderarztes Dr. Artur Waldhausen. A…

    lieferbar innerhalb von 3 Tagen
    Blu-ray Disc
     
    Aktueller Preis: EUR 22,99

    Zrinka Luka¿
    Economic Analysis Through Mathematics

    Springer Texts in Business and Economics

    This textbook introduces readers to the mathematical topics fundamental for the study of economics through a combination of formal definitions, theorems, and proofs, including intuitive and easy-to-follow…

    lieferbar ab 2.1.2026.
    Buch
    Aktueller Preis: EUR 138,67

    Reza N. Jazar
    Vehicle Dynamics

    Vehicle Dynamics: Theory and Application offers comprehensive coverage of fundamental and advanced topics in vehicle dynamics. This class-tested guide is designed for senior undergraduate and first-year g…

    lieferbar innerhalb 2-3 Wochen
    Buch
    Aktueller Preis: EUR 128,00

    Lorenz Halbeisen, Regula Krapf
    Gödel's Theorems and Zermelo's Axioms

    This book provides a concise and self-contained introduction to the foundations of mathematics. The first part covers the fundamental notions of mathematical logic, including logical axioms, formal proofs…

    lieferbar innerhalb 2-3 Wochen
    Buch
    Aktueller Preis: EUR 69,33

    Melvin Fitting, Richard L. Mendelsohn
    First-Order Modal Logic

    This revised edition of the highly recommended book "First-Order Modal Logic", originally published in 1998, contains both new and modified chapters reflecting the latest scientific developments…

    lieferbar innerhalb 2-3 Wochen
    Buch
    Aktueller Preis: EUR 131,42

    Bento Louro, Ana Alves de Sá
    Sequences and Series

    This book investigates sequences and series with a clear and focused approach, presenting key theoretical concepts alongside a diverse range of examples and proposed problems, complete with solutions. It …

    lieferbar innerhalb 2-3 Wochen
    Buch
    Aktueller Preis: EUR 69,33

    Jeff Edmonds
    How to Think about Algorithms

    Understand algorithms and their design with this revised student-friendly textbook. Unlike other algorithms books, this one is approachable, the methods it explains are straightforward, and the insights i…

    lieferbar innerhalb 2-3 Wochen
    Buch
    Aktueller Preis: EUR 188,17

    Das Lumpenpack
    Eine herbe Enttäuschung

    Noch größer, noch mutiger, noch musikalischer: Das neue Album »Eine Herbe Enttäuschung« des Lumpenpacks erscheint auf Roof Records! Das Lumpenpack entsteht 2012 in einem dänischen Ferienhaus. Max Kenn…

    CD
     

    Fernando Q. Gouvêa
    A Short Book on Long Sums

    This concise textbook introduces calculus students to power series through an informal and captivating narrative that avoids formal proofs but emphasizes understanding the fundamental ideas. Power series-…

    lieferbar innerhalb 2-3 Wochen
    Buch
    Aktueller Preis: EUR 58,66

    Formal Methods: Foundations and Applications

    This book constitutes the refereed proceedings of the 27th Brazilian Symposium on Formal Methods: Foundations and Applications, SBMF 2024, held in Vitória, Brazil, during December 4¿6, 2024.The 8 full pap…

    lieferbar innerhalb 2-3 Wochen
    Buch
    Aktueller Preis: EUR 63,51
    Informationen zur Lieferbarkeit bzw. zu Veröffentlichungsterminen von Artikeln beruhen auf Vorabinformationen unserer Lieferanten. Diese Termine sind ohne Gewähr und können sich jederzeit ändern.